Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix for issue #417 #633

Merged
merged 4 commits into from
Jan 4, 2016
Merged

Fix for issue #417 #633

merged 4 commits into from
Jan 4, 2016

Conversation

nivieru
Copy link
Contributor

@nivieru nivieru commented Jan 3, 2016

Removed checks that prevented the table from being updated when switching between groups.

@simonharrer
Copy link
Contributor

Thank you for the contribution. Can you please indent the lines correctly which were in the then-block of the removed if-condition? Apart from that, this can be merged in from my point of view.

@simonharrer
Copy link
Contributor

Hm, would like to merge it, but github says it has conflicts. Can you have a look into this, please?

@oscargus
Copy link
Contributor

oscargus commented Jan 4, 2016

Probably ChangeLog-conflicts...

@oscargus
Copy link
Contributor

oscargus commented Jan 4, 2016

By the way, when merging the ChangeLog (if that is the one with the conflict), note that the entry starting Fixed #608 is actually the correct format. My bad for starting the new version with a made up format (but I'll take care of it eventually, a PR fixing most of it is in #602).

@nivieru nivieru force-pushed the fix-for-issue-#417 branch from a93d01d to c05fb53 Compare January 4, 2016 21:31
@nivieru
Copy link
Contributor Author

nivieru commented Jan 4, 2016

Ok, I think it should be fine now

oscargus added a commit that referenced this pull request Jan 4, 2016
@oscargus oscargus merged commit 70a792a into JabRef:master Jan 4, 2016
@oscargus
Copy link
Contributor

oscargus commented Jan 4, 2016

I thought I'd give it a try to see how merging works. :-) Hope I didn't break anything...

@simonharrer
Copy link
Contributor

👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants